А ты посадил дерево?
18 June
Разве это правда неочевидно, что если есть два утверждения А и В, и одновременно выполняются два условия:

1. А не противоречит В
2. А не противоречит не В

, то из этого не следует то, что А => B?
5

Comments:

GardenerGiraffe

13 years ago

Вопрос в другом)
Утверждение А: в мире есть деревья. Утверждение Б: на стройке есть кирпич. Понятно, что если мы возьмем за данность утверждение "если А, то Б", то не найдем противоречия. Однако также, если взять обратное утверждение "если А, то Б неверно", то мы снова не находим противоречия. Вывод: зная, что А - верное утверждение, мы не можем заключить, что Б - верное утверждение.
GardenerGiraffe

13 years ago

"Если А, то Б неверно" означает, что если в мире есть деревья, то на стройке нет кирпича. А то там двусмысленность.